\frameforsection[t]{
  \renewcommand\currentblocktitle{\hypertarget{4_1}{测试脚本及其编写}}
  \outonlyblock{
    \vspace{-2ex}
    \twocolumns[.4]{
      \begin{itemize}
	\item 测试脚本也是一种module
	\item 这种module没有输入、输出参数
	\item 其目的在于生成测试数据，输入到模块实例（具体电路）中，获得实际输出，观察实际输出与期望输出是否
	  相同，从而判断模块是否正确实现了预期的功能
      \end{itemize} 
    }{
      \outfigure{.8}{images/测试平台编写.png}
    }[c]
  }
  \renewcommand\currentblocktitle{\hypertarget{4_2}{使用相关工具执行仿真}}
  \outonlyblock{
    \vspace{-2ex}
    \twocolumns{
      \begin{itemize}
	\zihao{6}
	\item 1.搭建运行环境-以linux系统（如deepin）为例\\
	  搭建Icarus Verilog(verilog仿真器) + GTKWave(波形查看器)
	  \begin{enumerate}
	\zihao{-6}
	    \item 安装Icarus Verilog\\
	      sudo apt install iverilog
	    \item 安装gtkwave\\
	      sudo apt install gtkwave
	  \end{enumerate}
	\item 2.对设计文件（Majority.v)和测试平台文件(test.v)进行编译生成可执行的仿真文件(扩展名为.vvp)\\
	  使用iverilog命令:\\
	  iverilog -o sim\_majority.vvp test.v Majority.v
	\item 3.运行仿真文件,显示控制台输出和生成波形文件\\
	  vvp sim\_majority.vvp\\
	\item 4.查看波形\\
	  gtkwave waveform.vcd
      \end{itemize}
    }{
      \outfigure{.4}{images/仿真文件的控制台输出.png}
      \outfigure{.8}{images/gtkwave查看波形.png}
    }
  }
}
